Probabilistic Control of Uncertain Linear Systems Using Stochastic Reachability
نویسندگان
چکیده
منابع مشابه
Reachability of Uncertain Linear Systems Using Zonotopes
We present a method for the computation of reachable sets of uncertain linear systems. The main innovation of the method consists in the use of zonotopes for reachable set representation. Zonotopes are special polytopes with several interesting properties : they can be encoded efficiently, they are closed under linear transformations and Minkowski sum. The resulting method has been used to trea...
متن کاملControl of Uncertain Nonlinear Systems Using Ellipsoidal Reachability Calculus
This paper proposes an approach to algorithmically synthesize control strategies for discrete-time nonlinear uncertain systems based on reachable set computations using the ellipsoidal calculus. For given ellipsoidal initial sets and bounded ellipsoidal disturbances, the proposed algorithm iterates over conservatively approximating and LMI-constrained optimization problems to compute stabilizin...
متن کاملGuaranteed Cost LQG Control of Uncertain Linear Quantum Stochastic Systems
In this paper, we formulate and solve a guaranteed cost control problem for a class of uncertain linear stochastic quantum systems. For these quantum systems, a connection with an associated classical (non-quantum) system is first established. Using this connection, the desired guaranteed cost results are established. The theory presented is illustrated using an example from quantum optics.
متن کاملOptimal Adaptive Control of Uncertain Stochastic Discrete Linear Systems
The problem of optimal control of stochastic discrete linear time-invariant uncertain systems on finite time interval is formulated and partially solved. This optimal solution shows that previously published adaptive optimal control schemes and indirect adaptive control schemes do not need heuristics for their rationalization. It is shown that these schemes are suboptimal causal approximations ...
متن کاملVerification of probabilistic bounded $\delta$-reachability for stochastic hybrid systems
Verification of cyber-physical systems is a difficult, yet extremely important, problem. Hybrid systems offer a theoretical framework in which to perform formal verification of cyberphysical systems. In this paper we study the problem of bounded δ-reachability in hybrid systems with random initial parameters. We devise a technique for computing reachability probabilities over a finite number of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2015
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2015.09.452